101. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده : Taubner, Dirk, 9591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Electronic data processing -- Distributed processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
369
102. Flow analysis of computer programs
پدیدآورنده : Hecht, Matthew S.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Flowgraphs,، Computer algorithms
رده :
QA
76
.
6
.
H4
103. Formal Syntax and Semantics of Programming Languages
پدیدآورنده : \ Kenneth Slonneger, Barry L. Kurtz
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Programming languages (Electronic computers) -- Syntax.,Programming languages (Electronic computers) -- Semantics.,زبان‌های برنامه‌نویسی کامپیوتر-- نحو ,زبان‌های برنامه‌نویسی کامپیوتر-- م‍ع‍ن‍ی‌ش‍ن‍اس‍ی
رده :
E-Book
,
104. Formal and natural computing : essays dedicated to Grzegorz Rozenberg
پدیدآورنده : Wilfried Brauer...]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers(,، Computer science -- Mathematics,، Machine theory,، Petri nets,، Graph grammars,، Rozenberg, Grzegorz
رده :
QA
76
.
L28
Vol
.
2300
105. Formal language description languages for computer programming; proceedings
پدیدآورنده : Edited by T.B. Steel, Jr
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
I17
1964
106. Formal language description languages for computer programming; proceedings
پدیدآورنده : IFIP Working Conference on Formal Language Description Languages, )4691, Vienna, Austria(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
I17
1964
107. Formal specification and software development
پدیدآورنده : Bjorner, Dines
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming ، Electronic digital computers,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
B575
1982
108. Formal specification and software development
پدیدآورنده : Bjorner, Dines, 7391-
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Computer software -- Development,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
B575
109. Formal specification of interactive graphics programming languages
پدیدآورنده : Mallgren, William Roberts
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming languages )Electronic computers(-- Computer graphics
رده :
T
385
.
M34
1983
110. Formal specification of interactive graphics programming languages
پدیدآورنده : / William R. Mallgren
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Programming languages (Electronic computers)- Computer graphics
رده :
T385
.
M34
1983
111. Foundations of logic programming
پدیدآورنده : J.W. Lloyd
کتابخانه: Vali Asr University Central Library (Kerman)
موضوع : Logic programming,Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
6
.
L583
1987
112. Foundations of logic programming
پدیدآورنده : Lloyd, John Wylie
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic programming,، Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
6
.
L583
1984
113. Foundations of logic programming
پدیدآورنده : Lloyd, J. W.)John Wylie(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic programming,، Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
6
.
L583
1987
114. Foundations of logic programming
پدیدآورنده : Lloyd, John Wylie, 7491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic programming,، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
6
.
L56
1987
115. Foundations of programming languages
پدیدآورنده : Lee, Kent Derek
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
L43F6
2017
116. Foundations of quantum programming
پدیدآورنده : Ying, Mingsheng
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Quantum computers,، Programming languages )Electronic computers(
رده :
QA
76
.
889
.
Y56F6
117. Full abstraction and semantic equivalence
پدیدآورنده : Mulmuley, Ketan
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
7
.
M86
118. Functional C
پدیدآورنده : Hartel, Pieter, Pieter Hartel, Henk Muller
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Functional Programming Languages,، Programming Languages)Electronic Computers(
رده :
QA
76
.
73
.
F9H3
119. Fundamentals of programming languages
پدیدآورنده : Horwitz, Ellis
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
H67
1984
120. GAG, a practical compiler generator
پدیدآورنده : / Uwe Kastens, Brigitte Hutt, Erich Zimmermann
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Compilers (Computer programs),Programming languages (Electronic computers)
رده :
QA
,
76
.
6
,.
K349
,
1982
